dgb: SSOT for lookbehind chain-walk window clamp (fenced KAT) - #423
Merged
Conversation
frstrtr
force-pushed
the
dgb/chain-walk-window-ssot
branch
3 times, most recently
from
June 24, 2026 19:17
1b24c2e to
cbeaddf
Compare
Lift the open-coded actual = min(lookbehind, height) clamp and the (actual<=0) empty-walk guard -- duplicated across share_tracker.hpp get_average_stale_prop / get_stale_counts / get_desired_version_counts / get_desired_version_weights -- into coin/chain_walk_window.hpp as chain_walk_window_count() / chain_walk_window_active(). Oracle: p2pool-dgb-scrypt forest.py Tracker.get_chain (walk at most n parents, stop at chain end) under the main.py call-site min(lookbehind, height) clamp. get_desired_version_weights rides this window into the check()-phase 60% work-weighted v36 switch gate. FENCED, additive: header-only (<algorithm>/<cstdint>), share_tracker.hpp NOT rewired -- byte-identity delegation is the follow-on. KAT 5/5 incl a non-circular dense-matrix proof that the SSOT equals the verbatim inline clamp+guard. Wired into the dir CMakeLists.txt and both build.yml --target allowlists.
frstrtr
force-pushed
the
dgb/chain-walk-window-ssot
branch
from
June 24, 2026 20:38
cbeaddf to
83d5821
Compare
frstrtr
added a commit
that referenced
this pull request
Jun 26, 2026
dgb: delegate diagnostic lookbehind clamps onto chain_walk_window SSOT (#423 follow-on)
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
FENCED Phase-B pillar (integrator-approved, parallel/non-blocking on #414/#416).
Lifts the open-coded
actual = min(lookbehind, height)clamp +(actual<=0)empty-walk guard -- duplicated across four share_tracker.hpp accessors (get_average_stale_prop / get_stale_counts / get_desired_version_counts / get_desired_version_weights) -- intocoin/chain_walk_window.hpp(chain_walk_window_count/chain_walk_window_active).Oracle: p2pool-dgb-scrypt forest.py Tracker.get_chain (walk at most n parents, stop at chain end) under the main.py call-site
min(lookbehind, height)clamp.get_desired_version_weightsrides this window into the check()-phase 60% work-weighted v36 switch gate, so a silent drift would re-scope the accept gate.Fence: header-only (
<algorithm>/<cstdint>); share_tracker.hpp NOT rewired -- byte-identity delegation is the follow-on. KAT 5/5 incl a non-circular dense-matrix proof that the SSOT equals the verbatim inline clamp+guard. Wired into the dir CMakeLists.txt and both build.yml --target allowlists. GPG-signed.No self-merge -- integrator lands on CLEAN rollup.